An independent axiomatisation for free short-circuit logic
نویسندگان
چکیده
منابع مشابه
An independent axiomatization for free short-circuit logic
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. Free short-circuit logic is the equational logic in which compound statements are evaluated from left to right, while atomic evaluations are not memorized throughout the evaluation, i.e., evalu...
متن کاملan application of fuzzy logic for car insurance underwriting
در ایران بیمه خودرو سهم بزرگی در صنعت بیمه دارد. تعیین حق بیمه مناسب و عادلانه نیازمند طبقه بندی خریداران بیمه نامه براساس خطرات احتمالی آنها است. عوامل ریسکی فراوانی می تواند بر این قیمت گذاری تاثیر بگذارد. طبقه بندی و تعیین میزان تاثیر گذاری هر عامل ریسکی بر قیمت گذاری بیمه خودرو پیچیدگی خاصی دارد. در این پایان نامه سعی در ارائه راهی جدید برای طبقه بندی عوامل ریسکی با استفاده از اصول و روش ها...
Short-circuit logic
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. In programming, short-circuit evaluation is widely used. A short-circuit logic is a variant of propositional logic (PL) that can be defined by short-circuit evaluation and implies the set of co...
متن کاملSatisfiability of Short Circuit Logic
The logical connectives typically found in programming languages are similar to their mathematical counterparts, yet different due to their short-circuit behaviour – when evaluating them, the second argument is only evaluated if the first argument is not sufficient to determine the result. Combined with the possibility of side-effects, this creates a different type of logic called Short Circuit...
متن کاملAn Innovative Simple Test Circuit for Single-Phase Short Circuit Making Test of High-Voltage Switching Devices
Nowadays, high-voltage circuit breakers have reached such high short-circuit capabilities that testing them under the full rated voltage is generally not possible with direct tests, and they are conducted by using the synthetic test methods. Although the phenomena associated with making tests is of particular importance especially in case of load break switches, but making tests are rather d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Non-Classical Logics
سال: 2018
ISSN: 1166-3081,1958-5780
DOI: 10.1080/11663081.2018.1448637